Compacidad local

Espacio localmente compacto

Un espacio topológico $(X, T)$ se dice que es localmente compacto si para todo punto $x \in X$ , existen un entorno $U \in E (x)$ y un subespacio compacto $C \subset X$ tales que $U \subset C$ .^[1]

Reinterpretación

Cada abierto está contenido en un compacto.

La definición está hecha de esta manera para que la compactificación de Alexandroff sea Hausdorff. ↩︎